Nuprl Definition : ma-join-list
0,22
postcript
pdf
(
L
) == reduce(
A
,
B
.
A
B
;;
L
)
latex
Definitions
reduce(
f
;
k
;
as
)
,
x
.
A
(
x
)
,
M1
M2
,
FDL editor aliases
ma-join-list
origin
(L) == reduce(
A,B. A B;;L) (L) == reduce(A,B. A B;;L) x.A(x) M2